\relax 
\citation{valeriaThesis}
\citation{Espinosa-OviedoVZC09}
\citation{Espinosa-Oviedo2011a}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}$\pi $SOD-M: A Methodology for Building Reliable Service Based Applications}{56}{chapter.3}}
\newlabel{chapter:methodology}{{3}{56}{$\pi $SOD-M: A Methodology for Building Reliable Service Based Applications\relax }{chapter.3}{}}
\citation{CastroMV11}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}$\pi $SOD-M}{57}{section.3.1}}
\newlabel{sec:pisodm}{{3.1}{57}{$\pi $SOD-M: A Methodology for Building Reliable Service Based Applications\relax }{section.3.1}{}}
\citation{BaCAM05}
\citation{Placido2010LTPD}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}General Overview}{58}{subsection.3.1.1}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces SOD-M and $\pi $SOD-M Extension Models.\relax }}{58}{figure.caption.11}}
\newlabel{fig:sodmExtensions}{{3}{58}{SOD-M and $\pi $SOD-M Extension Models.\relax \relax }{figure.caption.11}{}}
\citation{Placido2010LTPD}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Development Process}{59}{subsection.3.1.2}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces $\pi $SOD-M Development Process and Models.\relax }}{60}{figure.caption.12}}
\newlabel{fig:developmentProcess}{{4}{60}{$\pi $SOD-M Development Process and Models.\relax \relax }{figure.caption.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}Methodology Concepts}{60}{subsection.3.1.3}}
\newlabel{sec:concepts}{{3.1.3}{60}{$\pi $SOD-M: A Methodology for Building Reliable Service Based Applications\relax }{subsection.3.1.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces $\pi $SOD-M Concepts.\relax }}{61}{figure.caption.13}}
\newlabel{fig:pisodm-concepts}{{5}{61}{$\pi $SOD-M Concepts.\relax \relax }{figure.caption.13}{}}
\citation{RosaC04}
\citation{RosaC04}
\citation{Chung2009}
\citation{MylopoulosBook99}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.4}Case Study}{64}{subsection.3.1.4}}
\newlabel{sec:example}{{3.1.4}{64}{$\pi $SOD-M: A Methodology for Building Reliable Service Based Applications\relax }{subsection.3.1.4}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Use Case Model ``\textit  {To Publish Music}'' - Spotify Music Service.\relax }}{65}{figure.caption.14}}
\newlabel{fig:example_usecase}{{6}{65}{Use Case Model ``\textit {To Publish Music}'' - Spotify Music Service.\relax \relax }{figure.caption.14}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Service Process Model ``\textit  {To Publish Music}''.\relax }}{66}{figure.caption.15}}
\newlabel{fig:example_serviceprocess}{{7}{66}{Service Process Model ``\textit {To Publish Music}''.\relax \relax }{figure.caption.15}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Platform Independent Models}{66}{section.3.2}}
\newlabel{sec:pim-pisodm}{{3.2}{66}{$\pi $SOD-M: A Methodology for Building Reliable Service Based Applications\relax }{section.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}\textit  {$\pi $-UseCase} Model}{66}{subsection.3.2.1}}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces Traditional UML Concepts.\relax }}{67}{figure.caption.16}}
\newlabel{fig:umlConcepts}{{8}{67}{Traditional UML Concepts.\relax \relax }{figure.caption.16}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces $\pi $-UseCase model Example.\relax }}{68}{figure.caption.17}}
\newlabel{fig:piUseCaseExample}{{9}{68}{$\pi $-UseCase model Example.\relax \relax }{figure.caption.17}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.1.1}\textit  {$\pi $-UseCase} Diagram, Terms and Concepts}{68}{subsubsection.3.2.1.1}}
\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces Constraint Representation.\relax }}{68}{figure.caption.18}}
\newlabel{fig:constraint_detail}{{10}{68}{Constraint Representation.\relax \relax }{figure.caption.18}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {11}{\ignorespaces Non-functional Requirement Representation.\relax }}{69}{figure.caption.19}}
\newlabel{fig:nfr_detail}{{11}{69}{Non-functional Requirement Representation.\relax \relax }{figure.caption.19}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {12}{\ignorespaces Non-functional Attribute Representation.\relax }}{69}{figure.caption.20}}
\newlabel{fig:nfa_detail}{{12}{69}{Non-functional Attribute Representation.\relax \relax }{figure.caption.20}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.1.2}Meta-model}{70}{subsubsection.3.2.1.2}}
\@writefile{lof}{\contentsline {figure}{\numberline {13}{\ignorespaces $\pi $-UseCase Concepts (Meta-model).\relax }}{70}{figure.caption.21}}
\newlabel{fig:usecasemodel}{{13}{70}{$\pi $-UseCase Concepts (Meta-model).\relax \relax }{figure.caption.21}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {14}{\ignorespaces Business Collaborator / Package Representation.\relax }}{71}{figure.caption.22}}
\newlabel{fig:businessCollaborator}{{14}{71}{Business Collaborator / Package Representation.\relax \relax }{figure.caption.22}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.1.3}UML Concepts Representation}{71}{subsubsection.3.2.1.3}}
\@writefile{lof}{\contentsline {figure}{\numberline {15}{\ignorespaces \textit  {$\pi $-UseCase} Concepts Represented as UML Elements.\relax }}{72}{figure.caption.23}}
\newlabel{fig:umlrepresentation}{{15}{72}{\textit {$\pi $-UseCase} Concepts Represented as UML Elements.\relax \relax }{figure.caption.23}{}}
\newlabel{fig:piusecase1}{{16a}{73}{Subfigure 3 16a\relax }{subfigure.16.1}{}}
\newlabel{sub@fig:piusecase1}{{(a)}{a}{Subfigure 3 16a\relax }{subfigure.16.1}{}}
\newlabel{fig:piusecase2}{{16b}{73}{Subfigure 3 16b\relax }{subfigure.16.2}{}}
\newlabel{sub@fig:piusecase2}{{(b)}{b}{Subfigure 3 16b\relax }{subfigure.16.2}{}}
\newlabel{fig:piusecase3}{{16c}{73}{Subfigure 3 16c\relax }{subfigure.16.3}{}}
\newlabel{sub@fig:piusecase3}{{(c)}{c}{Subfigure 3 16c\relax }{subfigure.16.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {16}{\ignorespaces \textit  {$\pi $-UseCase} Model Representation.\relax }}{73}{figure.caption.24}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {\textit {Use Case} and \textit {Actor} Model}}}{73}{subfigure.16.1}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {\textit {Extended Use Case} Model}}}{73}{subfigure.16.2}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(c)}{\ignorespaces {\textit {Include Use Case} Model}}}{73}{subfigure.16.3}}
\newlabel{fig:piuse_representation1}{{16}{73}{\textit {$\pi $-UseCase} Model Representation.\relax \relax }{figure.caption.24}{}}
\newlabel{fig:piusecase4}{{17a}{74}{Subfigure 3 17a\relax }{subfigure.17.1}{}}
\newlabel{sub@fig:piusecase4}{{(a)}{a}{Subfigure 3 17a\relax }{subfigure.17.1}{}}
\newlabel{fig:piusecase5}{{17b}{74}{Subfigure 3 17b\relax }{subfigure.17.2}{}}
\newlabel{sub@fig:piusecase5}{{(b)}{b}{Subfigure 3 17b\relax }{subfigure.17.2}{}}
\newlabel{fig:piusecase6}{{17c}{74}{Subfigure 3 17c\relax }{subfigure.17.3}{}}
\newlabel{sub@fig:piusecase6}{{(c)}{c}{Subfigure 3 17c\relax }{subfigure.17.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {17}{\ignorespaces \textit  {$\pi $-UseCase} Model Representation (2).\relax }}{74}{figure.caption.25}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {\textit {Package} Model}}}{74}{subfigure.17.1}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {\textit {Use Case}, \textit {Requirement} and \textit {Non-Functional Requirement} Model}}}{74}{subfigure.17.2}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(c)}{\ignorespaces {\textit {Constraint} Model}}}{74}{subfigure.17.3}}
\newlabel{fig:piuse_representation2}{{17}{74}{\textit {$\pi $-UseCase} Model Representation (2).\relax \relax }{figure.caption.25}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.1.4}\textit  {To Publish Music} Use Case}{75}{subsubsection.3.2.1.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.2}\textit  {$\pi $-ServiceProcess} Model}{76}{subsection.3.2.2}}
\@writefile{lof}{\contentsline {figure}{\numberline {18}{\ignorespaces Use Case Model With Constraint Definition - Scenario Example Refined.\relax }}{77}{figure.caption.26}}
\newlabel{fig:usecaseContraint}{{18}{77}{Use Case Model With Constraint Definition - Scenario Example Refined.\relax \relax }{figure.caption.26}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.2.1}\textit  {$\pi $-ServiceProcess} Diagram, Terms and Concepts}{77}{subsubsection.3.2.2.1}}
\@writefile{lof}{\contentsline {figure}{\numberline {19}{\ignorespaces Assertion Representation.\relax }}{78}{figure.caption.27}}
\newlabel{fig:assertion_representation}{{19}{78}{Assertion Representation.\relax \relax }{figure.caption.27}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {20}{\ignorespaces Contract Representation.\relax }}{78}{figure.caption.28}}
\newlabel{fig:contract_representation}{{20}{78}{Contract Representation.\relax \relax }{figure.caption.28}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {21}{\ignorespaces Node, Activity Edge and Contract Representation.\relax }}{79}{figure.caption.29}}
\newlabel{fig:other_representation}{{21}{79}{Node, Activity Edge and Contract Representation.\relax \relax }{figure.caption.29}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.2.2}Meta-model}{79}{subsubsection.3.2.2.2}}
\@writefile{lof}{\contentsline {figure}{\numberline {22}{\ignorespaces $\pi $-ServiceProcess Concepts (Meta-model).\relax }}{80}{figure.caption.30}}
\newlabel{fig:serviceprocess}{{22}{80}{$\pi $-ServiceProcess Concepts (Meta-model).\relax \relax }{figure.caption.30}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.2.3}UML Concepts Representation}{80}{subsubsection.3.2.2.3}}
\newlabel{fig:pisp1}{{23a}{81}{Subfigure 3 23a\relax }{subfigure.23.1}{}}
\newlabel{sub@fig:pisp1}{{(a)}{a}{Subfigure 3 23a\relax }{subfigure.23.1}{}}
\newlabel{fig:pisp2}{{23b}{81}{Subfigure 3 23b\relax }{subfigure.23.2}{}}
\newlabel{sub@fig:pisp2}{{(b)}{b}{Subfigure 3 23b\relax }{subfigure.23.2}{}}
\newlabel{fig:pisp3}{{23c}{81}{Subfigure 3 23c\relax }{subfigure.23.3}{}}
\newlabel{sub@fig:pisp3}{{(c)}{c}{Subfigure 3 23c\relax }{subfigure.23.3}{}}
\newlabel{fig:pisp4}{{23d}{81}{Subfigure 3 23d\relax }{subfigure.23.4}{}}
\newlabel{sub@fig:pisp4}{{(d)}{d}{Subfigure 3 23d\relax }{subfigure.23.4}{}}
\newlabel{fig:pisp5}{{23e}{81}{Subfigure 3 23e\relax }{subfigure.23.5}{}}
\newlabel{sub@fig:pisp5}{{(e)}{e}{Subfigure 3 23e\relax }{subfigure.23.5}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {23}{\ignorespaces \textit  {$\pi $-ServiceProcess} Model Representation.\relax }}{81}{figure.caption.31}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {\textit {Assertion} Model}}}{81}{subfigure.23.1}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {\textit {Contract} Model}}}{81}{subfigure.23.2}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(c)}{\ignorespaces {\textit {Exceptional Behaviour} Model}}}{81}{subfigure.23.3}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(d)}{\ignorespaces {\textit {Action} Model}}}{81}{subfigure.23.4}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(e)}{\ignorespaces {\textit {Service Activity} Model}}}{81}{subfigure.23.5}}
\newlabel{fig:pisp_representation}{{23}{81}{\textit {$\pi $-ServiceProcess} Model Representation.\relax \relax }{figure.caption.31}{}}
\newlabel{fig:pisp6}{{24a}{82}{Subfigure 3 24a\relax }{subfigure.24.1}{}}
\newlabel{sub@fig:pisp6}{{(a)}{a}{Subfigure 3 24a\relax }{subfigure.24.1}{}}
\newlabel{fig:pisp7}{{24b}{82}{Subfigure 3 24b\relax }{subfigure.24.2}{}}
\newlabel{sub@fig:pisp7}{{(b)}{b}{Subfigure 3 24b\relax }{subfigure.24.2}{}}
\newlabel{fig:pisp8}{{24c}{82}{Subfigure 3 24c\relax }{subfigure.24.3}{}}
\newlabel{sub@fig:pisp8}{{(c)}{c}{Subfigure 3 24c\relax }{subfigure.24.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {24}{\ignorespaces \textit  {$\pi $-ServiceProcess} Model Representation (2).\relax }}{82}{figure.caption.32}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {\textit {Control Nodes} Model}}}{82}{subfigure.24.1}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {\textit {Activity Edge - Control Flow} Model}}}{82}{subfigure.24.2}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(c)}{\ignorespaces {\textit {Activity Edge - Control Object} Model}}}{82}{subfigure.24.3}}
\newlabel{fig:pisp_representation2}{{24}{82}{\textit {$\pi $-ServiceProcess} Model Representation (2).\relax \relax }{figure.caption.32}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.2.4}\textit  {To Publish Music} Process}{83}{subsubsection.3.2.2.4}}
\@writefile{lof}{\contentsline {figure}{\numberline {25}{\ignorespaces Service Process Model with Contract Definition - Complete Example.\relax }}{84}{figure.caption.33}}
\newlabel{fig:serviceprocessContract}{{25}{84}{Service Process Model with Contract Definition - Complete Example.\relax \relax }{figure.caption.33}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.3}$\pi $-ServiceComposition Model}{84}{subsection.3.2.3}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.3.1}\textit  {$\pi $-ServiceComposition} Diagram, Terms and Concepts}{85}{subsubsection.3.2.3.1}}
\@writefile{lof}{\contentsline {figure}{\numberline {26}{\ignorespaces Business Collaborator Representation.\relax }}{86}{figure.caption.34}}
\newlabel{fig:businesscollaborator_detail}{{26}{86}{Business Collaborator Representation.\relax \relax }{figure.caption.34}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.3.2}Meta-model}{86}{subsubsection.3.2.3.2}}
\@writefile{lof}{\contentsline {figure}{\numberline {27}{\ignorespaces Policy Representation.\relax }}{87}{figure.caption.35}}
\newlabel{fig:policy_detail}{{27}{87}{Policy Representation.\relax \relax }{figure.caption.35}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {28}{\ignorespaces \textit  {$\pi $-ServiceComposition} Concepts (Meta-model).\relax }}{88}{figure.caption.36}}
\newlabel{fig:servicecomposition}{{28}{88}{\textit {$\pi $-ServiceComposition} Concepts (Meta-model).\relax \relax }{figure.caption.36}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.3.3}UML Concepts Representation}{88}{subsubsection.3.2.3.3}}
\newlabel{fig:pisc1}{{29a}{89}{Subfigure 3 29a\relax }{subfigure.29.1}{}}
\newlabel{sub@fig:pisc1}{{(a)}{a}{Subfigure 3 29a\relax }{subfigure.29.1}{}}
\newlabel{fig:pisc2}{{29b}{89}{Subfigure 3 29b\relax }{subfigure.29.2}{}}
\newlabel{sub@fig:pisc2}{{(b)}{b}{Subfigure 3 29b\relax }{subfigure.29.2}{}}
\newlabel{fig:pisc3}{{29c}{89}{Subfigure 3 29c\relax }{subfigure.29.3}{}}
\newlabel{sub@fig:pisc3}{{(c)}{c}{Subfigure 3 29c\relax }{subfigure.29.3}{}}
\newlabel{fig:pisc4}{{29d}{89}{Subfigure 3 29d\relax }{subfigure.29.4}{}}
\newlabel{sub@fig:pisc4}{{(d)}{d}{Subfigure 3 29d\relax }{subfigure.29.4}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {29}{\ignorespaces \textit  {$\pi $-ServiceComposition} Representation Models.\relax }}{89}{figure.caption.37}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {\textit {Service Activity} and \textit {Business Collaborator} Model}}}{89}{subfigure.29.1}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {\textit {Policy} and \textit {Rule} Model}}}{89}{subfigure.29.2}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(c)}{\ignorespaces {\textit {Business Collaborator - External false} Model}}}{89}{subfigure.29.3}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(d)}{\ignorespaces {\textit {Business Collaborator - External true} Model}}}{89}{subfigure.29.4}}
\newlabel{fig:picomposition_representation}{{29}{89}{\textit {$\pi $-ServiceComposition} Representation Models.\relax \relax }{figure.caption.37}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.3.4}\textit  {Publish Music} Service Composition}{90}{subsubsection.3.2.3.4}}
\@writefile{lof}{\contentsline {figure}{\numberline {30}{\ignorespaces Service Composition Model with Policy Definition - Spotify Music Service.\relax }}{90}{figure.caption.38}}
\newlabel{fig:servicecompositionPolicy}{{30}{90}{Service Composition Model with Policy Definition - Spotify Music Service.\relax \relax }{figure.caption.38}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}$\pi $-PEWS Platform Specific Models}{91}{section.3.3}}
\newlabel{sec:psm-pisodm}{{3.3}{91}{$\pi $SOD-M: A Methodology for Building Reliable Service Based Applications\relax }{section.3.3}{}}
\citation{Placido2010LTPD}
\citation{Placido2010LTPD}
\citation{Espinosa-OviedoVZC09}
\citation{PortillaHE08}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}$\pi $-PEWS Specification, Terms and Concepts}{92}{subsection.3.3.1}}
\citation{BHM06}
\citation{Placido2010LTPD}
\@writefile{lof}{\contentsline {figure}{\numberline {31}{\ignorespaces $\pi $-PEWS Specification Representation.\relax }}{93}{figure.caption.39}}
\newlabel{fig:pewsRepresentation}{{31}{93}{$\pi $-PEWS Specification Representation.\relax \relax }{figure.caption.39}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}Meta-model}{93}{subsection.3.3.2}}
\@writefile{lof}{\contentsline {figure}{\numberline {32}{\ignorespaces $\pi $-PEWS Contract Representation.\relax }}{94}{figure.caption.40}}
\newlabel{fig:contractRepresentation}{{32}{94}{$\pi $-PEWS Contract Representation.\relax \relax }{figure.caption.40}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {33}{\ignorespaces $\pi $-PEWS Meta-model.\relax }}{95}{figure.caption.41}}
\newlabel{fig:metamodel}{{33}{95}{$\pi $-PEWS Meta-model.\relax \relax }{figure.caption.41}{}}
\citation{miller}
\citation{atl_manual}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}Model Transformations}{96}{section.3.4}}
\newlabel{sec:models-tranformation}{{3.4}{96}{$\pi $SOD-M: A Methodology for Building Reliable Service Based Applications\relax }{section.3.4}{}}
\newlabel{fig:rule01}{{34a}{97}{Subfigure 3 34a\relax }{subfigure.34.1}{}}
\newlabel{sub@fig:rule01}{{(a)}{a}{Subfigure 3 34a\relax }{subfigure.34.1}{}}
\newlabel{fig:rule02}{{34b}{97}{Subfigure 3 34b\relax }{subfigure.34.2}{}}
\newlabel{sub@fig:rule02}{{(b)}{b}{Subfigure 3 34b\relax }{subfigure.34.2}{}}
\newlabel{fig:rule03}{{34c}{97}{Subfigure 3 34c\relax }{subfigure.34.3}{}}
\newlabel{sub@fig:rule03}{{(c)}{c}{Subfigure 3 34c\relax }{subfigure.34.3}{}}
\newlabel{fig:rule04}{{34d}{97}{Subfigure 3 34d\relax }{subfigure.34.4}{}}
\newlabel{sub@fig:rule04}{{(d)}{d}{Subfigure 3 34d\relax }{subfigure.34.4}{}}
\newlabel{fig:rule05}{{34e}{97}{Subfigure 3 34e\relax }{subfigure.34.5}{}}
\newlabel{sub@fig:rule05}{{(e)}{e}{Subfigure 3 34e\relax }{subfigure.34.5}{}}
\newlabel{fig:rule06}{{34f}{97}{Subfigure 3 34f\relax }{subfigure.34.6}{}}
\newlabel{sub@fig:rule06}{{(f)}{f}{Subfigure 3 34f\relax }{subfigure.34.6}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {34}{\ignorespaces Entities' Model Transformation Rules.\relax }}{97}{figure.caption.42}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {From one A to one B}}}{97}{subfigure.34.1}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {From many A to many B}}}{97}{subfigure.34.2}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(c)}{\ignorespaces {From many A to one B}}}{97}{subfigure.34.3}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(d)}{\ignorespaces {From one A to one B, and one C}}}{97}{subfigure.34.4}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(e)}{\ignorespaces {From many A to many B, and one C}}}{97}{subfigure.34.5}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(f)}{\ignorespaces {From many A to many B, and one C}}}{97}{subfigure.34.6}}
\newlabel{fig:rules}{{34}{97}{Entities' Model Transformation Rules.\relax \relax }{figure.caption.42}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.1}From $\pi $-UseCase to $\pi $-ServiceProcess}{97}{subsection.3.4.1}}
\@writefile{thm}{\contentsline {exampl}{{Example:}{1}{}}{98}{exampl.1}}
\@writefile{lot}{\contentsline {table}{\numberline {5}{\ignorespaces Transformation Rules: From $\pi $-UseCase to $\pi $-ServiceProcess.\relax }}{99}{table.caption.43}}
\newlabel{tab:transformationUseCaseToServiceProcess}{{5}{99}{Transformation Rules: From $\pi $-UseCase to $\pi $-ServiceProcess.\relax \relax }{table.caption.43}{}}
\newlabel{fig:trans01}{{35a}{100}{Subfigure 3 35a\relax }{subfigure.35.1}{}}
\newlabel{sub@fig:trans01}{{(a)}{a}{Subfigure 3 35a\relax }{subfigure.35.1}{}}
\newlabel{fig:trans02}{{35b}{100}{Subfigure 3 35b\relax }{subfigure.35.2}{}}
\newlabel{sub@fig:trans02}{{(b)}{b}{Subfigure 3 35b\relax }{subfigure.35.2}{}}
\newlabel{fig:trans03}{{35c}{100}{Subfigure 3 35c\relax }{subfigure.35.3}{}}
\newlabel{sub@fig:trans03}{{(c)}{c}{Subfigure 3 35c\relax }{subfigure.35.3}{}}
\newlabel{fig:trans04}{{35d}{100}{Subfigure 3 35d\relax }{subfigure.35.4}{}}
\newlabel{sub@fig:trans04}{{(d)}{d}{Subfigure 3 35d\relax }{subfigure.35.4}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {35}{\ignorespaces $\pi $-UseCase2$\pi $-ServiceProcess Model Transformation Rules.\relax }}{100}{figure.caption.44}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {From \textit {Use Case} and \textit {Constraint} to \textit {Action} and \textit {Contract}}}}{100}{subfigure.35.1}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {From \textit {Constraint} to \textit {Contract} (2)}}}{100}{subfigure.35.2}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(c)}{\ignorespaces {From \textit {Composite Use Case} to \textit {Service Activity}}}}{100}{subfigure.35.3}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(d)}{\ignorespaces {From \textit {Requirements} to \textit {Service Activity}}}}{100}{subfigure.35.4}}
\newlabel{fig:modelRulesUS2SP}{{35}{100}{$\pi $-UseCase2$\pi $-ServiceProcess Model Transformation Rules.\relax \relax }{figure.caption.44}{}}
\@writefile{thm}{\contentsline {exampl}{{Example:}{2}{}}{100}{exampl.2}}
\@writefile{thm}{\contentsline {exampl}{{Example:}{3}{}}{100}{exampl.3}}
\newlabel{fig:trans05}{{36a}{101}{Subfigure 3 36a\relax }{subfigure.36.1}{}}
\newlabel{sub@fig:trans05}{{(a)}{a}{Subfigure 3 36a\relax }{subfigure.36.1}{}}
\newlabel{fig:trans06}{{36b}{101}{Subfigure 3 36b\relax }{subfigure.36.2}{}}
\newlabel{sub@fig:trans06}{{(b)}{b}{Subfigure 3 36b\relax }{subfigure.36.2}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {36}{\ignorespaces $\pi $-UseCase2$\pi $-ServiceProcess Model Transformation Rules (2).\relax }}{101}{figure.caption.45}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {From \textit {Extend} to \textit {Fork/Join Flow}}}}{101}{subfigure.36.1}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {From \textit {Include} to \textit {Activity Node Flow}}}}{101}{subfigure.36.2}}
\newlabel{fig:modelRulesUS2SP2}{{36}{101}{$\pi $-UseCase2$\pi $-ServiceProcess Model Transformation Rules (2).\relax \relax }{figure.caption.45}{}}
\@writefile{thm}{\contentsline {exampl}{{Example:}{4}{}}{101}{exampl.4}}
\newlabel{fig:extend01}{{37a}{102}{Subfigure 3 37a\relax }{subfigure.37.1}{}}
\newlabel{sub@fig:extend01}{{(a)}{a}{Subfigure 3 37a\relax }{subfigure.37.1}{}}
\newlabel{fig:extend02}{{37b}{102}{Subfigure 3 37b\relax }{subfigure.37.2}{}}
\newlabel{sub@fig:extend02}{{(b)}{b}{Subfigure 3 37b\relax }{subfigure.37.2}{}}
\newlabel{fig:servProc01}{{37c}{102}{Subfigure 3 37c\relax }{subfigure.37.3}{}}
\newlabel{sub@fig:servProc01}{{(c)}{c}{Subfigure 3 37c\relax }{subfigure.37.3}{}}
\newlabel{fig:servProc02}{{37d}{102}{Subfigure 3 37d\relax }{subfigure.37.4}{}}
\newlabel{sub@fig:servProc02}{{(d)}{d}{Subfigure 3 37d\relax }{subfigure.37.4}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {37}{\ignorespaces Extended Transformation Examples.\relax }}{102}{figure.caption.46}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {Extended Use Case Example}}}{102}{subfigure.37.1}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {Extended Use Case Example (2)}}}{102}{subfigure.37.2}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(c)}{\ignorespaces {Equivalent Service Process Workflow}}}{102}{subfigure.37.3}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(d)}{\ignorespaces {Equivalent Service Process Workflow (2)}}}{102}{subfigure.37.4}}
\newlabel{fig:modelRulesUS2SP}{{37}{102}{Extended Transformation Examples.\relax \relax }{figure.caption.46}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {38}{\ignorespaces Include Transformation Example.\relax }}{102}{figure.caption.47}}
\newlabel{fig:include}{{38}{102}{Include Transformation Example.\relax \relax }{figure.caption.47}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.2}From $\pi $-ServiceProcess to $\pi $-ServiceComposition}{102}{subsection.3.4.2}}
\@writefile{lot}{\contentsline {table}{\numberline {6}{\ignorespaces Transformation Rules: From $\pi $-ServiceProcess to $\pi $-ServiceComposition.\relax }}{103}{table.caption.48}}
\newlabel{tab:transformationServiceProcessToComposition}{{6}{103}{Transformation Rules: From $\pi $-ServiceProcess to $\pi $-ServiceComposition.\relax \relax }{table.caption.48}{}}
\newlabel{fig:trans07}{{39a}{104}{Subfigure 3 39a\relax }{subfigure.39.1}{}}
\newlabel{sub@fig:trans07}{{(a)}{a}{Subfigure 3 39a\relax }{subfigure.39.1}{}}
\newlabel{fig:trans08}{{39b}{104}{Subfigure 3 39b\relax }{subfigure.39.2}{}}
\newlabel{sub@fig:trans08}{{(b)}{b}{Subfigure 3 39b\relax }{subfigure.39.2}{}}
\newlabel{fig:trans09}{{39c}{104}{Subfigure 3 39c\relax }{subfigure.39.3}{}}
\newlabel{sub@fig:trans09}{{(c)}{c}{Subfigure 3 39c\relax }{subfigure.39.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {39}{\ignorespaces $\pi $-ServiceProcess2$\pi $-ServiceComposition Model Transformation Rules.\relax }}{104}{figure.caption.49}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {From \textit {Contract} and \textit {Assertion} to \textit {Policy} and \textit {Rule}}}}{104}{subfigure.39.1}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {From \textit {Action} to \textit {Service Activity} (2)}}}{104}{subfigure.39.2}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(c)}{\ignorespaces {From \textit {Exceptional Behaviour} to \textit {Action}}}}{104}{subfigure.39.3}}
\newlabel{fig:modelRulesSp2SC}{{39}{104}{$\pi $-ServiceProcess2$\pi $-ServiceComposition Model Transformation Rules.\relax \relax }{figure.caption.49}{}}
\@writefile{thm}{\contentsline {exampl}{{Example:}{5}{}}{105}{exampl.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.3}From $\pi $-ServiceComposition to $\pi $-PEWS}{105}{subsection.3.4.3}}
\@writefile{lot}{\contentsline {table}{\numberline {7}{\ignorespaces Transformation Rules: From $\pi $-ServiceComposition to $\pi $-PEWS.\relax }}{106}{table.caption.50}}
\newlabel{tab:transformationServiceCompositionToPEWS}{{7}{106}{Transformation Rules: From $\pi $-ServiceComposition to $\pi $-PEWS.\relax \relax }{table.caption.50}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.5}Conclusions}{107}{section.3.5}}
\newlabel{sec:pisodm_conclusion}{{3.5}{107}{$\pi $SOD-M: A Methodology for Building Reliable Service Based Applications\relax }{section.3.5}{}}
\@setckpt{chapters/methodology/methodology}{
\setcounter{page}{109}
\setcounter{equation}{0}
\setcounter{enumi}{2}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{7}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{3}
\setcounter{section}{5}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{39}
\setcounter{table}{7}
\setcounter{endNonectr}{37}
\setcounter{currNonectr}{0}
\setcounter{currexamplctr}{5}
\setcounter{endexamplctr}{0}
\setcounter{exampl}{5}
\setcounter{r@tfl@t}{1}
\setcounter{lstnumber}{1}
\setcounter{ContinuedFloat}{0}
\setcounter{parentequation}{0}
\setcounter{KVtest}{0}
\setcounter{subfigure}{0}
\setcounter{subfigure@save}{3}
\setcounter{lofdepth}{1}
\setcounter{subtable}{0}
\setcounter{subtable@save}{0}
\setcounter{lotdepth}{1}
\setcounter{Item}{6}
\setcounter{Hfootnote}{17}
\setcounter{bookmark@seq@number}{58}
\setcounter{regraA}{1}
\setcounter{regraB}{1}
\setcounter{lstlisting}{0}
\setcounter{section@level}{0}
}
